Le temps verbal dans l’interprétation des énoncés

Este trabajo propone caracterizar el concepto de tiempo en el marco de la Teoría de la Relevancia (TR), y explorar las posibilidades de aplicación expuesta en esta noción en el marco de la interpretación que realiza el destinatario de un enunciado. Se intenta establecer cómo los rasgos procedimentales que caracterizan al tiempo verbal ocasionan procesos inferenciales que llevan a interpretaciones de los tiempos con valores modale

Rewriting-based Verification and Debugging of Web Systems

The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs. In general, establishing whether a Web system behaves correctly with respect to the original intention of the programmer or checking its internal consistency are non-trivial tasks as witnessed by many studies in the literature. In this dissertation, we face two challenging problems related to the verification of Web systems. Firstly, we extend a previous Web verification framework based on partial rewriting by providing a semi-automatic technique for repairing Web systems. We propose a basic repairing methodology that is endowed with several strategies for optimizing the number of repair actions that must be executed in order to fix a given Web site. Also, we develop an improvement of the Web verification framework that is based on abstract interpretation and greatly enhances both efficiency and scalability of the original technique. Secondly, we formalize a framework for the specification and model-checking of dynamic Web applications that is based on Rewriting Logic. Our framework allows one to simulate the user navigation and the evaluation of Web scripts within a Web application, and also check important related properties such us reachability and consistency. When a property is refuted, a counter-example with the erroneous trace is delivered. Such information can be analyzed in order to debug the Web application under examination by means of a novel backward trace slicing technique that we formulated for this purpose. This technique consists in tracing back, along an execution trace, all the relevant symbols of the term (or state) that we are interested to observe.Romero ., DO. (2011). Rewriting-based Verification and Debugging of Web Systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/12496Palanci

Presentism meets black holes

Presentism is, roughly, the metaphysical doctrine that maintains that whatever exists, exists in the present. The compatibility of presentism with the theories of special and general relativity was much debated in recent years. It has been argued that at least some versions of presentism are consistent with time-orientable models of general relativity. In this paper we confront the thesis of presentism with relativistic physics, in the strong gravitational limit where black holes are formed. We conclude that the presentist position is at odds with the existence of black holes and other compact objects in the universe. A revision of the thesis is necessary, if it is intended to be consistent with the current scientific view of the universe.Facultad de Ciencias Astronómicas y Geofísica

El tiempo verbal en la interpretación de enunciados

Este trabajo propone caracterizar el concepto de tiempo en el marco de la Teoría de la Relevancia (TR), y explorar las posibilidades de aplicación expuesta en esta noción en el marco de la interpretación que realiza el destinatario de un enunciado. Se intenta establecer cómo los rasgos procedimentales que caracterizan al tiempo verbal ocasionan procesos inferenciales que llevan a interpretaciones de los tiempos con valores modales. &nbsp

Midiendo el Sentimiento del Ciclo Económico Nacional a través de los pronunciamientos del Banxico

Se elabora un indicador de confianza con los anuncios de política monetaria de Banco de México (Banxico) para revisar el comportamiento del ciclo económico contemporáneo. La metodología consiste en identificar los enunciados que hacen los miembros de la junta de gobierno del banco central en relación a su evaluación del ritmo de la actividad económica reciente y se transforman en un índice. Los resultados muestran un indicador cíclico con respecto a la trayectoria de la economía en el período enero 2003-enero 2011, por lo que puede ser usado en el análisis oportuno de la situación económica del país dado el rezago de la publicación de indicadores que describen la evolución del ciclo tal como el Producto Interno BrutoCiclo económico, indicadores de confianza, política monetaria

Evolución de plantillas genéricas para la descripción de casos de uso a plantillas genéricas para análisis y diseño

Nuestra propuesta se basa en definir plantillas genéricas para la descripción de Casos de Uso, y a partir de ellas, definir plantillas para las etapas de Análisis y Diseño.Eje: Ingeniería en SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Evolución de plantillas genéricas para la descripción de casos de uso a plantillas genéricas para análisis y diseño

Nuestra propuesta se basa en definir plantillas genéricas para la descripción de Casos de Uso, y a partir de ellas, definir plantillas para las etapas de Análisis y Diseño.Eje: Ingeniería en SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Syntactic Change in the Diachrony of the Verb-Particle Construction in the History of the English Language

La presente investigación gira en torno a uno de los temas de estudio de la lingüística diacrónica: el proceso de gramaticalización, entendido tradicionalmente como el fenómeno por medio del cual un ítem léxico se convierte en uno gramatical o un ítem ya gramatical se torna aún más gramatical (Lehmann, 2015). Más formalmente, el proceso de gramaticalización ha sido descripto como la reanálisis de categorías funcionales ya existentes o la recategorización del contenido léxico (Roberts & Roussou, 2003). Si bien los estudios sobre el tema coinciden en que la gramaticalización es un proceso por medio del cual categorías léxicas adoptan características gramaticales o funcionales, la manera en que esto ocurre no ha sido sistematizada ni unificadaen términos formales. Este proyecto se propone realizar un aporte a los estudios de cambio lingüístico a partir del análisis del proceso de gramaticalización en relación con las construcciones verbo-partícula del inglés, comúnmente conocidas como phrasal verbs, y su contraste con algunas expresiones equivalentes con se en español. En ambos casos se observa un valor aspectual, generalmente relacionado con el cambio de estado, la telicidad y la delimitación, queda lugar a un análisis contrastivo (sincrónico) entre ambas construcciones. A su vez, los dos fenómenos se desprenden de procesos de gramaticalización evidentes en la diacronía de cada lengua.Universidad Nacional de La Plat

Automatización del monitoreo de las actividades de un proceso de desarrollo

La automatización de actividades que se realizan en la industria es básica para mejorar la producción, la calidad y garantizar el correcto cumplimiento de las reglas de negocio. La industria del software no escapa a esta concepción. Con las nuevas tecnologías existen también exigencias en mejoras en los procesos de desarrollo utilizados. Para la realización de estas mejoras es necesario poder monitoriar las actividades que se realizan en un proyecto. Esta tarea es compleja debido a la cantidad de factores que intervienen en el desarrollo. El objetivo de esta línea de investigación es lograr automatizar las actividades de monitoreo de un proyecto de desarrollo, mediante la utilización de un workflow. También se pretende poder simular la ejecución de proyectos logrando poder obtener los resultados del monitoreo antes de la implementación real del mismo, y de esta manera poder aprovechar los beneficios de las mejoras obtenidas.Eje: Ingeniería en SoftwareRed de Universidades con Carreras en Informática (RedUNCI